861. Temporal logic in specification: Altrincham, UK, April 8-10, 1987: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
T42
1989
862. Testfreundliche Synthese hochintegrierter Schaltungen
المؤلف: von Bernhard Eschermann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Microprogramming.
رده :
TK7874
.
65
V663
1992
863. Tests and Proofs
المؤلف: edited by Achim D. Brucker, Jacques Julliand
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
864. The Parametric Lambda Calculus :
المؤلف: by Simona Ronchi Della Rocca, Luca Paolini.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004
865. The Z8000 microprocessor :
المؤلف: Bradly K. Fawcett
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic digital computers-- Circuits,Logic design,Zilog Z8000 (Microprocessor)
رده :
TK7888
.
F285
1982
866. The Z8000 microprocessor, a design handbook
المؤلف: Fawcett, Bradly K.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Circuits ، Electronic digital computers,، Logic design,، Zilog Model Z-08 )Computer(
رده :
TK
7888
.
F285
1982
867. The circuits and filters handbook.dollar5Analog and VLSI circuits /
المؤلف: edited by Wai-Kai Chen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic circuits.,Integrated circuits-- Very large scale integration.,Linear integrated circuits.,COMPUTERS-- Logic Design.,Electronic circuits.,Integrated circuits-- Very large scale integration.,Integrerade kretsar.,Linear integrated circuits.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,VLSI.
رده :
TK7874
.
654
.
C57
2009
868. The conduct of inquiry :
المؤلف: Abraham Kaplan ; with a new introduction by Charles Wolf, Jr
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Social sciences-- Methodology,Behavior,Logic,Research Design
رده :
H61
.
K24
1998
869. <The> design of a Micro processor
المؤلف: Wilhelm G.sproth ; with contribotions by members of the IBM Development Team
المکتبة: (کرمان)
موضوع: Microprocessoes - Design and constrvction - Data processing,logic design,computer - qided design
رده :
TK
7895
.
M5
,
S67
1989
870. <The> design of a Micro processor
المؤلف: Wilhelm G.sproth ; with contribotions by members of the IBM Development Team
المکتبة: (کرمان)
موضوع: Microprocessoes - Design and constrvction - Data processing,logic design,computer - qided design
رده :
TK
7895
.
M5
,
S67
1989
871. The design of a micorprocessor
المؤلف: / Wilhelm G. Spruth with contributins by members of the IBM Development Team
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Microprocessors - Design and construction - Data processing,Logic desingn,Computer - Aided design
رده :
621
.
3916
S771D
872. The design of logical machines
المؤلف: Florine, Jean
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Design and construction,، Electronic circuit design-- Data processing,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
F5613
873. The logic design of transistor digital computers
المؤلف: / by Gerald A. Maley [and] John Earle
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Electronic digital computers--Design and construction,Transistor circuits,Logic,Symbolic and mathematical
رده :
TK
7888
.
3
.
M3
874. The logic design of transistor:digital computers
المؤلف: MALEY,GERALD A
المکتبة: (طهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-DESIGN & , TRANSISTOR CIRCUITS , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
TK
7888
.
3
.
M3
875. The logical processing of digital signals
المؤلف: Hurst, Stanley Leonard.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Design and construction ، Electronic digital computers,، Logic circuits,، Logic design,، Switching theory
رده :
TK
7888
.
3
.
H84
1979
876. The philosophy of logical atomism
المؤلف: Russell, Bertrand
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Wittgenstein, Ludwig, 9881-1591,، Logical design,، Meaning )Philosophy(,، Proposition )Logic(
رده :
BC
199
.
L6
R87
2010
877. The practical XILINX designer lab book
المؤلف: Van den Bout, Dave
المکتبة: (طهران)
موضوع: Digital integrated circuits - Design and construction , Logic design , Microcomputers - Design and construction
رده :
TK
7874
.
65
.
V36
1998
878. The practical XILINX designer lab book
المؤلف: Dave Van den Bout
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Digital integrated circuits- Design and construction,، Logic design,، Microcomputers- Design and construction
رده :
TK
7874
.
P68
879. The practical XILINX designers lab book
المؤلف: Van den Bout, Dave
المکتبة: (طهران)
موضوع: Design and construction ، Digital integrated circuits,، Logic design,Design and construction ، Microcomputers
رده :
TK
7874
.
V36
880. The practical Xilinx designer lab book
المؤلف: Van Den Bout, Dave E.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Digital integrated circuits-- Design and construction,، Logic design,، Microcomputer-- Design and construction
رده :
TK
7874
.
65
.
V36
1998
